73509023ecf3207d958f2e669db5ddd10dc24dd8,src/org/exist/dom/NewArrayNodeSet.java,NewArrayNodeSet,filterDocuments,#NewArrayNodeSet#,658
Before Change
public NodeSet filterDocuments(NewArrayNodeSet other) {
NewArrayNodeSet result = new NewArrayNodeSet();
for (int i = 0; i < other.size; i++) {
int idx = Arrays.binarySearch(documentIds, 0, documentCount, other.nodes[i].getDocument().getDocId());
if (idx > -1)
result.add(other.nodes[i]);
}
After Change
public NodeSet filterDocuments(NewArrayNodeSet other) {
NewArrayNodeSet result = new NewArrayNodeSet();
for (int i = 0; i < other.size; i++) {
int idx = findDoc(other.nodes[i].getDocument().getDocId());
if (idx > -1)
result.add(other.nodes[i]);
}